Skip to content

Fix closure#132

Merged
ocots merged 3 commits intomainfrom
131-bug-closure-is-important
Oct 3, 2025
Merged

Fix closure#132
ocots merged 3 commits intomainfrom
131-bug-closure-is-important

Conversation

@ocots
Copy link
Member

@ocots ocots commented Oct 3, 2025

No description provided.

@ocots ocots linked an issue Oct 3, 2025 that may be closed by this pull request
@github-actions
Copy link
Contributor

github-actions bot commented Oct 3, 2025

Breakage test results
Date: 2025-10-03 17:40:47

Name Latest Stable
OptimalControl.jl compat: v0.8.8 compat: v0.8.8

@ocots ocots merged commit a34278d into main Oct 3, 2025
5 checks passed
@ocots ocots deleted the 131-bug-closure-is-important branch October 3, 2025 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug] Closure is important

1 participant